% Ejercicio "Descripción de una gramática atribuida"
\subsection*{\fbox{\theejercicio} - Descripci\'on de una gram\'atica atribuida}

Dada la gram\'atica atribuida:

\begin{center}
\begin{tabular}{|lcll|} \hline
        &               &                &                                 \\
{\em A} & $\rightarrow$ & {\em B}{\bf a} & $\{\ B.y = B.x;\ A.x = B.x\ \}$ \\
{\em A} & $\rightarrow$ & {\bf a}        & $\{\ A.x = a.z\ \}$             \\
{\em B} & $\rightarrow$ & {\em A}{\bf b} & $\{\ B.x = B.y;\ A.y = B.y\ \}$ \\
{\em B} & $\rightarrow$ & {\bf b}        & $\{\ B.x = b.z\ \}$             \\
        &               &                &                                 \\ \hline
\end{tabular}
\end{center}

Atendiendo a la definici\'on se\~nalar si los siguientes atributos son sintetizados o heredados, si la gram\'atica es completa, si los grafos de dependencias directas son ac\'{\i}clicos; si los grafos de todas las sentencias son ac\'{\i}clicos y si la gram\'atica es S o L-atribuida.

% Solución del ejercicio
\subsubsection*{SOLUCI\'ON}

\begin{center}
\begin{tabular}{|l|c|c|} \hline
          & Sintetizado (Si/No) & Heredado (Si/No) \\ \hline
{\em A.x} & S\'{\i}             & No               \\ \hline
{\em A.y} & No                  & S\'{\i}          \\ \hline
{\em B.x} & S\'{\i}             & No               \\ \hline
{\em B.y} & No                  & S\'{\i}          \\ \hline
\end{tabular}
\end{center}

\begin{center}
\begin{tabular}{|l|c|} \hline
                                                                          & Si/No   \\ \hline
{\bf La gram\'atica es completa}                                          & S\'{\i} \\ \hline
Para toda sentencia del lenguaje el grafo de dependencia es ac\'{\i}clico & No      \\ \hline
La gram\'atica es S-atribuida                                             & No      \\ \hline
La gram\'atica es L-atribuida                                             & No      \\ \hline
\end{tabular}
\end{center}